/** @class Ext.panel.Tool */
//

$tool-size: dynamic(15px);
